Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type the...(展开全部)

The writing bears the marks of authority of a mathematician who was actively involved in setting up the subject. Most of the papers referred to are at least twenty years old but this reflects the time when the ideas were established and one imagines that the situation will be different in the second volume. Because of the length, it is unlikely that many people will read this b...(展开全部)

PREFACE TO THE FIRST EDITION This book is intended for readers in transition from school mathematics to the fully-fledged type of thinking used by professional mathematicians. It should prove useful to first-year students in universities and colleges, and to advanced students in school contemplating further study in pure mathematics. It should also be of interest to a wider cla...(展开全部)

Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between computer languages and "plain English" mathematical proofs. The book introduces the reader to discrete mathematics, reasoning...(展开全部)

Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used...(展开全部)

Theory of Type Design, by internationally renowned Dutch graphic designer and typographer Gerard Unger (born 1942), is the first complete and accessible theory of the breathtakingly varied field of typography. "Of all designed objects letters are probably the most pervasive," as Unger explains at the beginning of his study. "Very familiar yet amazingly diverse in their appearan...(展开全部)

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the rig...(展开全部)

Combining principles of individual rational choice with a sociological conception of collective action, James Coleman recasts social theory in a bold new way. The result is a landmark in sociological theory, capable of describing both stability and change in social systems. This book provides for the first time a sound theoretical foundation for linking the behavior of individu...(展开全部)

This text, one of the most important contributions to social theory in 50 years, puts forth a unified conceptual structure that is capable of describing and quantifying both stability and change in social systems. Well reasoned, this theory also provides a foundation for linking individual, organizational and societal behaviour.